Communication lifting: fixed point computation for parallelism
نویسندگان
چکیده
منابع مشابه
fixed point property for banach algebras associated to locally compact groups
در این پایان نامه به بررسی خاصیت نقطه ثابت و خاصیت نقطه ثابت برای نیم گروههای برگشت پذیر چپ روی بعضی جبرهای باناخ از جمله جبر فوریه و جبر فوریه استیلتیس پرداخته شده است. برای مثال بیان شده است که اگر گروه یک گروه فشرده موضعی با همسایگی فشرده برای عنصر همانی که تحت درونریختی ها پایاست باشد آنگاه جبر فوریه و جبر فوریه استیلتیس دارای خاصیت نقطه ثابت برای نیم گروه های برگشت پذیر چپ است اگر و تنها ا...
15 صفحه اولSecure Computation with Fixed-Point Numbers
Secure computation is a promising approach to business problems in which several parties want to run a joint application and cannot reveal their inputs. Secure computation preserves the privacy of input data using cryptographic protocols, allowing the parties to obtain the benefits of data sharing and at the same time avoid the associated risks. These business applications need protocols that s...
متن کاملProgram Derivation by Fixed Point Computation
Thrs paper develops a transformational paradrgm by which nonnumertcal algorrthms are treated as fixed pomt computatrons derived from very htgh level problem specrficatrons We begin by presenting an abstract functronal problem specrficatron language SQ’, which 1s shown to express any partial recursive function m a fixed pomt normal form Next, we gtce a nondetermuusttc Iterative schema that rn th...
متن کاملDual Fixed-Point: An Efficient Alternative to Floating-Point Computation
This paper presents a new data representation known as Dual FiXedpoint (DFX), which employs a single bit exponent to select two different fixedpoint scalings. DFX provides a compromise between conventional fixed-point and floating-point representations. It has the implementation complexity similar to that of a fixed-point system together with the improved dynamic range offered by a floating-poi...
متن کاملAn Analog Scheme for Fixed-Point Computation–Part II: Applications
In a companion paper [6] we presented theoretical analysis of an analog network for fixed-point computation. This paper applies these results to several applications from numerical analysis and combinatorial optimization, in particular: 1) solving systems of linear equations; 2) nonlinear programming; 3) dynamic programing; and 4) network flow computations. Schematic circuits are proposed for r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Functional Programming
سال: 1995
ISSN: 0956-7968,1469-7653
DOI: 10.1017/s0956796800001477